Verification of probabilistic systems with faulty communication
نویسندگان
چکیده
منابع مشابه
Verification of Probabilistic Systems with Faulty Communication
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behavior of such protocols, Lossy Channel Systems (LCS’s) have been proposed. In an LCS the communication channels are modeled as unbounded FIFO buffers which are unreliable in the sense that they can nondeterministically lose messages. Recently, several attempts...
متن کاملRuntime Verification of Stochastic, Faulty Systems
We desire a capability for the lifelong verification of complex embedded systems that degrade over time, such as a semi-autonomous car. The field of runtime verification has developed many tools for monitoring the safety of software systems in real time. However, these tools do not allow for uncertainty in the system’s state or failure, both of which are essential for monitoring hardware as it ...
متن کاملApproximate Verification of Probabilistic Systems
General methods have been proposed [2, 4] for the model checking of probabilistic systems, where the verification of a probabilistic statement is reduced to the solution of a linear system over the system's state space. To overcome the state space explosion problem, some probabilistic model checkers, such as PRISM [3], use MTBDDs. We propose a different solution, in which we use a Monte-Carlo a...
متن کاملthe relationship of wtc with communication apprehension and self-perceived communication competene in english and persian context
بیشتر تحقیقات پیشین در زمینه تمایل به برقراری ارتباط به رابطه آن با عوامل فردی چون سن، جنس، نوع شخصیت و... صورت گرفته است. در صورتی که مطالعات کمتری به بررسی رابطه تمایل به برقراری ارتباط زبان آموزان فارسی زبان با ترس از برقراری ارتباط و توانش خود ادراکانه آنها در برقراری ارتباط در محیط فارسی و انگلیسی انجام شده است. بر اساس نظریه الیس (2008) تمایل به برقراری ارتباط جایگاه مهمی در زمینه آموزش م...
15 صفحه اولProbabilistic Modelling and Verification of Biological Systems
We describe the state of the art in the application to biological processes of means originally developed by computer scientists to model systems of interacting components. We discuss how to correctly represent the quantitative aspects of biological systems and we propose to extend with probabilities a formalism based on multiset rewriting rules. As an example, we show the application of our mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2005
ISSN: 0890-5401
DOI: 10.1016/j.ic.2005.05.008